[IA64] use get_gpfn_from_mfn()
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 9 Jun 2006 16:35:40 +0000 (10:35 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 9 Jun 2006 16:35:40 +0000 (10:35 -0600)
commit58e5a0227dd82d6e009c8950c309ee4db0e8a998
treed05ad873a287e5db925ec825fbc80e59eadf74da
parent7839282e3dd2a74139a7ccfa8b7f9c4424241bf5
[IA64] use get_gpfn_from_mfn()

clean up vmx_vcpu_tpa() and mfn_to_gmfn(). don't access mpt_table directly.
use get_gpfn_from_mfn()

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/vmx/vmmu.c
xen/include/asm-ia64/mm.h